Schnoebelen, Philippe: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma

Figueira, Diego, Figueira, Santiago, Schmitz, Sylvain, Schnoebelen, Philippe

Year:

2011

Language:

english

File:

PDF, 360 KB

english, 2011

2

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Decidability, complexity, and expressiveness of first-order logic over the subword ordering

Halfon, Simon, Schnoebelen, Philippe, Zetzsche, Georg

Year:

2017

Language:

english

File:

PDF, 392 KB

english, 2017

3

A Short Visit to the STS Hierarchy

Nathalie Bertrand, Philippe Schnoebelen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 278 KB

english, 2006

4

BTL2 and the expressive power of ECTL+

Alexander Rabinovich, Philippe Schnoebelen

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 288 KB

english, 2006

5

A general approach to comparing infinite-state systems with their finite-state specifications

Antonín Kučera, Philippe Schnoebelen

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 348 KB

english, 2006

6

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Stéphane Demri, Philippe Schnoebelen

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 223 KB

english, 2002

7

Generalized Post Embedding Problems

Karandikar, Prateek, Schnoebelen, Philippe

Journal:

Theory of Computing Systems

Year:

2015

Language:

english

File:

PDF, 903 KB

english, 2015

8

Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties

Baier, Christel, Bertrand, Nathalie, Schnoebelen, Philippe

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 486 KB

english, 2007

9

A note on the attractor-property of infinite-state Markov chains

Christel Baier, Nathalie Bertrand, Philippe Schnoebelen

Journal:

Information Processing Letters

Year:

2006

Language:

english

File:

PDF, 102 KB

english, 2006

10

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets

Haddad, Serge, Schmitz, Sylvain, Schnoebelen, Philippe

Year:

2012

Language:

english

File:

PDF, 333 KB

english, 2012

11

On termination and invariance for faulty channel machines

Bouyer, Patricia, Markey, Nicolas, Ouaknine, Joël, Schnoebelen, Philippe, Worrell, James

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 411 KB

english, 2012

12

Decidable first-order transition logics for PA-processes

Denis Lugiez, Philippe Schnoebelen

Journal:

Information and Computation

Year:

2005

Language:

english

File:

PDF, 481 KB

english, 2005

13

Mu-calculus path checking

Nicolas Markey, Philippe Schnoebelen

Journal:

Information Processing Letters

Year:

2006

Language:

english

File:

PDF, 102 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски